Remove hand-written node pointers in doc/misc/viper.texi
authorGlenn Morris <rgm@gnu.org>
Sat, 22 Dec 2012 20:06:25 +0000 (12:06 -0800)
committerGlenn Morris <rgm@gnu.org>
Sat, 22 Dec 2012 20:06:25 +0000 (12:06 -0800)
commit0aef7fee7a8f063eb043f73f66a2ad19d45fa331
tree3e63000c4bc675bae6b07ed4c5ac39aa6fb3ee5a
parentc9e1895fa1cac8eb0ad14787bbe23f6887b4e789
Remove hand-written node pointers in doc/misc/viper.texi
Fix up sectioning
doc/misc/ChangeLog
doc/misc/viper.texi